1. Logic Colloquium 76 :
پدیدآورنده : edited by R. O. Gandy, J. M. E. Hyland
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Congresses
رده :
QA9
.
A1
L63
1976
2. Logic colloquium 76 : Proceedings of a confernce held in Oxford in July 1976
پدیدآورنده : Edited by R.O. Gandy )and( J.M.E. Hyland
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
L64
1976
